1. Theorem proving in higher order logics : 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999 : proceedings
Author: Yves Bertot...]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
1690
